Using fibrations for situation identification

Pervasive and autonomic systems rely on notions of context and situation to control their adaptation to changing user and system circumstances. Ensuring that a system exhibits the correct adaptation to on-going circumstances remains problematic, however, especially in the presence of dynamic user and device populations, changing requirements and complex interacting adaptations. We discuss the use of fibres and fibrations between context and situation graphs as a basis for reasoning about context-sensitive behaviour, and suggest that these concepts may provide both a semantic and implementational basis for highly adaptive